A REAL - TIME OBJECT - ORIENTED PETRI NET IMPLEMENTATION BASED ONSCHEMETimothy
نویسنده
چکیده
Petri nets provide a powerful abstraction to specify and consequently analyze complex distributed systems. Petri nets can also be used in functioning systems to control processes and to manage the ow of data. RTNet, the software described in this paper, directly embeds a petri net into a distributed system and allows for real-time interaction of the petri net with other parts of the system. RTNet supports all the features of the LOOPN system for specifying and simulating object-oriented timed petri nets. In addition , RTNet supports a real-time environment with a mechanism for responding to external events, a facility for interprocess communication, and a capability to reconngure itself dynamically.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملAntecipated Faults in Real-Time Distributed Systems
In this paper we present a Petri-net-based approach to consider anticipated faults in real-time distributed systems. The proposed approach is based on Fuzzy Time G-Nets which is the integration of two Petri Nets extensions: Fuzzy Time Petri Net (timing Petri net extension) and G-Nets (Petri net extended with object oriented concepts). We also show that Fuzzy Time G-Nets can be used to represent...
متن کاملConcurrent Object Nets - a Design Method for Distributed and Embedded Real-time Systems
Abstract. In this paper we present an object-oriented method for the design, verification and implementation of embedded and distributed real-time systems. The method is called Concurrent Object Net (CON). The CON method is based upon extended statecharts which use specific message links for communication. For simulation and verification corresponding Petri nets are used. A platform abstraction...
متن کاملPn-tox: a Paradigm and Development Environment for Object Concurrency Speciications
In the domain of concurrent object-oriented programming (COOP) there is a strong need for a formalism to describe concurrency. Such a formalism is ooered by Petri nets, which however lack thorough modularisation techniques for coping with models for large systems. An appropriate combination of COOP and Petri nets is required in order to proot from the strength of both methods. This paper gives ...
متن کاملConcurrency in CoOperative Objects
CoOperative Objects (COOs) are a concurrent object-oriented modelling and programming language, which uses the Petri net theory to define the concurrency within each object, among objects, and also the inter-object asynchronous communication. SYROCO is a C++ implementation of CoOperative Objects which proves to be efficient and convenient enough to support real size applications. The paper aims...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996